Struct isotope::prelude::Annotation [−][src]
pub struct Annotation(_);
Expand description
An owned type annotation
Implementations
Create a new annotation given a base and a type
Create a new, checked annotation given a base and a type
Try to create an annotation given a type
Try to create an annotation given a path
Check whether this annotation is a sub-annotation of another
pub fn coerced_ty(
&self,
target: &TermId,
ctx: &mut impl TyCtxMut + ?Sized
) -> Result<Annotation, Error>
[src]
pub fn coerced_ty(
&self,
target: &TermId,
ctx: &mut impl TyCtxMut + ?Sized
) -> Result<Annotation, Error>
[src]Attempt to coerce the type of this annotation in a given typing context.
Trait Implementations
Borrow this term’s underlying annotation
Get the type of this annotation
Get the base type of this annotation
type Consed = Annotation
type Consed = Annotation
The type this conses to
Cons this term within a given context. Return None
if already consed.
Convert this term to it’s own consed type
Whether this term depends on a variable with a given index: if equiv is true, also consider larger variables in the same equivalence class
Get whether a term depends on a variable base <= variable <= ix
Read more
Get the variable filter of this term
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
type Substituted = Annotation
type Substituted = Annotation
The type this substitutes to
Substitute this value recursively
Convert this object’s consed form to it’s substituted form
Shift this term’s variables with index >= base
in a given context
Shift this term’s variables with index >= base
in a given context
Locally typecheck a term: note this is context-independent, without caching
Globally typecheck a term, i.e. typecheck all subterms, without caching
Typecheck this term’s annotation, without caching
Locally typecheck a term: note this is context-independent.
Globally typecheck a term, i.e. typecheck all subterms and their variables
Typecheck this term’s annotation
Typecheck a term in a given context
Load this term’s current flags
Set this term’s flags. May cause errors if done incorrectly!
Typecheck this term along with it’s variables
Whether this term might be type-checked
Variable typecheck a term, i.e. typecheck all subterms and their variables.
Auto Trait Implementations
impl !RefUnwindSafe for Annotation
impl Send for Annotation
impl Sync for Annotation
impl Unpin for Annotation
impl !UnwindSafe for Annotation
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.